A Linear Logic Programming Language for Concurrent Programming over Graph Structures

We have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion. Our language is based on linear logic, an expressive logical system where logical facts can be consumed. Because LM integrates both classical and linear logic, LM tends to be more expressive than other logic programming languages. LM programs are naturally concurrent because facts are partitioned by nodes of a graph data structure. Computation is performed at the node level while communication happens between connected nodes. In this paper, we present the syntax and operational semantics of our language and illustrate its use through a number of examples.Comment: ICLP 2014, TPLP 201

Juan Buscamares: ficción de apocalipsis, mito y mestizaje

Juan Buscamares, historieta con dibujos y guion de Félix Vega (Santiago de Chile, 1971), se desarrolla en un mundo asolado por la catástrofe climática, bandos militares y el fanatismo religioso. En esa dimensión, la colonización europea de la América indígena es el fantasma que persigue a personajes sumidos en un constante nomadismo. Héroe errante, Juan deambula por ese mundo, cuya imaginería retoma las creencias prehispánicas y la tradición judeocristiana. Con tales elementos y desde su lenguaje híbrido, este cómic invita a reflexionar sobre la potencia crítica del apocalipsismo, sobre el rol del mito y sobre las complejas identidades de un continente fragmentario cuya regeneración sería accesible solamente tras la abolición del mundo como lo comprendemos. La progresión del personaje da cuenta de una proyección postapocalíptica que paradójicamente propone el retorno al origen como posibilidad de salvación, de esta forma interroga la linealidad del tiempo histórico, proponiendo un diálogo con el pensamiento mítico y tendiendo un puente entre ficción de apocalipsis e imaginario postapocalíptico. Juan Buscamares, a comic with drawings and script by Félix Vega (Santiago de Chile, 1971), is set in a world ravaged by climatic catastrophe, military factions and religious fanaticism. In this dimension, the European colonization of indigenous America is the ghost that haunts characters immersed in a constant nomadism. An itinerant hero, Juan wanders through this world, whose imagery takes up pre-Hispanic beliefs and Judeo-Christian tradition. With such elements and from its hybrid language, this comic invites us to reflect on the critical power of apocalypticism, on the role of myth and on the complex identities of a fragmented continent whose regeneration would be accessible only after the abolition of the world as we understand it. The progression of the character shows a post-apocalyptic projection that paradoxically proposes the return to the origin as a possibility of salvation, thus questioning the linearity of historical time, proposing a dialogue with mythical thought and bridging the gap between apocalyptic fiction and post-apocalyptic imaginary.Juan Buscamares, une bande dessinée avec des dessins et un scénario de Félix Vega (Santiago du Chili, 1971), se déroule dans un monde ravagé par une catastrophe climatique, des factions militaires et le fanatisme religieux. Dans cette dimension, la colonisation européenne de l’Amérique indigène est le fantôme qui hante les personnages plongés dans un nomadisme constant. Héros errant, Juan déambule dans ce monde dont l’imagerie reprend les croyances préhispaniques et la tradition judéo-chrétienne. Avec de tels éléments et à partir de son langage hybride, cette BD nous invite à réfléchir sur le pouvoir critique de l’apocalypse, sur le rôle du mythe et sur les identités complexes d’un continent fragmenté dont la régénération ne serait accessible qu’après l’abolition du monde tel que nous le comprenons. La progression du personnage montre une projection post-apocalyptique qui propose paradoxalement le retour à l’origine comme une possibilité de salut, remettant ainsi en question la linéarité du temps historique, proposant un dialogue avec la pensée mythique et comblant le fossé entre la fiction apocalyptique et l’imaginaire post-apocalyptique

Historieta ecuatoriana. Por la circulación de una literatura (gráfica) menor

Con unos veinte actores de la historieta, entre autores, gestores y colectivos, Ecuador tiene una circulación exigua dentro del campo de la literatura gráfica mundial, a pesar de una historia que no dista de la historia general del noveno arte. Modulando una lectura del cómic ecuatoriano desde la noción de literatura menor propuesta por Deleuze y Guattari (Kafka, pour une littérature mineure, 1975), buscamos identificar la historieta de Ecuador –mediante ejemplos de estrategias, formas y contenidos– con las características de una literatura (gráfica) menor; mientras presentamos un panorama de su campo. Entonces, el uso minoritario de una lengua mayor, la desterritorialización, la conexión sobre lo inmediato-político y la enunciación colectiva son algunas pistas que nos permitirán esbozar las líneas de fuga para una circulación transnacional de la literatura gráfica ecuatoriana.Avec une vingtaine d’acteurs de la bande dessinée, dont des auteurs, des directeurs et des collectifs, l’Équateur a une maigre circulation dans le domaine de la littérature graphique mondiale, malgré une histoire qui n’est pas éloignée de l’histoire générale du neuvième art. En modulant une lecture de la bande dessinée équatorienne à partir de la notion de littérature mineure proposée par Deleuze et Guattari (Kafka, pour une littérature mineure, 1975), nous cherchons à identifier la bande dessinée équatorienne - à travers des exemples de stratégies, de formes et de contenus - aux caractéristiques d’une littérature (graphique) mineure, tout en présentant un aperçu de son champ. Ainsi, l’utilisation minoritaire d’une langue majeure, la déterritorialisation, le lien avec l’immédiat-politique et l’énonciation collective sont autant d’indices qui nous permettront d'esquisser les lignes de fuite pour une circulation transnationale de la littérature graphique équatorienne.With about twenty comic actors, including authors, promoters and collectives, Ecuador has a meager circulation within the field of world graphic literature, despite a history that is not far from the general history of the ninth art. Modulating a reading of Ecuadorian comics from the notion of minor literature proposed by Deleuze and Guattari (Kafka, pour une littérature mineure, 1975), we seek to identify Ecuadorian comics -through examples of strategies, forms and contents- with the characteristics of a minor (graphic) literature; while we present an overview of its field. Then, the minority use of a major language, the deterritorialization, the connection on the immediate-political and the collective enunciation are some clues that will allow us to outline the lines of escape for a transnational circulation of Ecuadorian graphic literature

Mid-Infrared Optical Frequency Combs based on Difference Frequency Generation for Molecular Spectroscopy

Mid-infrared femtosecond optical frequency combs were produced by difference frequency generation of the spectral components of a near-infrared comb in a 3-mm-long MgO:PPLN crystal. We observe strong pump depletion and 9.3 dB parametric gain in the 1.5 \mu m signal, which yields powers above 500 mW (3 \mu W/mode) in the idler with spectra covering 2.8 \mu m to 3.5 \mu m. Potential for broadband, high-resolution molecular spectroscopy is demonstrated by absorption spectra and interferograms obtained by heterodyning two combs.Comment: 11 pages, 8 figure

La representación del amante en la escritura poética de Miguel Hernández, en El rayo que no cesa

Miguel Hernández (1910-1942)1 fue un poeta y dramaturgo español; él manifiesta en sus obras un profundo sentido de la tragedia; emplea para ello las formas líricas españolas tradicionales. Nació en Orihuela (Alicante) donde comenzó a estudiar en el colegio de los jesuitas, centro que abandonó muy pronto, para trabajar repartiendo leche y cuidando ovejas; mas, para entonces ya se había convertido en un gran lector de la poesía clásica española. En Orihuela, formó parte de la tertulia literaria de Efrén Fenoll y Ramón Sijé, con el que establecería una gran amistad. En la década de 1930 se marchó a Madrid, donde trabajó como colaborador de José María Cossío en Los toros y se relacionó con poetas como el chileno Pablo Neruda, y los españoles Rafael Alberti, Luis Cernuda, Vicente Aleixandre y otros. Fue miembro del Partido Comunista Español y durante la República participó en las Misiones pedagógicas, creadas para llevar la cultura a las zonas más deprimidas de España. Tomó parte activa en la Guerra Civil española y asistió al Congreso Internacional de intelectuales antifascistas de 1937 en Valencia.2 Acabada la guerra fue condenado a pena de muerte -se le conmutó por la de treinta años- pero no la cumplió porque la tuberculosis acabó con su vida en 1942, en la prisión de Alicante. La obra de Miguel Hernández es muy personal. Si bien por amistad y edad podía haber formado parte de la generación del 27, no siempre se lo haconsiderado dentro de ella. Sin embargo, Dámaso Alonso le agrega con las palabras: “algún genial epígono, como Miguel Hernández”. 3 El estudio de esta poesía y de este poeta constituye un desafío. Los artículos realizados sobre Hernández en el país y en el mundo entero son una referencia ineludible de la disertación propuesta. Varios poetas y literatos ecuatorianos (Jorge Enrique Adoum, Julio Pazos, Efraín Jara Idrovo, Fernando Balseca, Susana Cordero de Espinosa y otros) han reunido sus impresiones y han sido más de una vez los encargados de realizar homenajes en honor del alicantino4. Estudios en lengua francesa (como La escritura poética de Miguel Hernández y Los temas poéticos de Miguel Hernández, de Marie Chevallier) e italiana (el ensayo Problemas textuales y variantes en la obra poética de Miguel Hernández, de Dario Puccini) también se han enfocado en las imágenes que el poeta ha utilizado en su obra, a la cual la han denominado –sobre todo Juan Cano Ballesta- ‘imagen hernandiana’. El término ha sido acuñado por la crítica y usado para expresar el escalofrío, producto de la fuerza del choque entre el hueso y la piedra, o “escarbar la tierra con los diente

High resolution atomic coherent control via spectral phase manipulation of an optical frequency comb

Sem informaçãoWe demonstrate high resolution coherent control of cold atomic rubidium utilizing spectral phase manipulation of a femtosecond optical frequency comb. Transient coherent accumulation is directly manifested by the enhancement of signal amplitude and spectral resolution via the pulse number. The combination of frequency comb technology and spectral phase manipulation enables coherent control techniques to enter a new regime with natural linewidth resolution. © 2006 The American Physical Society.We demonstrate high resolution coherent control of cold atomic rubidium utilizing spectral phase manipulation of a femtosecond optical frequency comb. Transient coherent accumulation is directly manifested by the enhancement of signal amplitude and spectral resolution via the pulse number. The combination of frequency comb technology and spectral phase manipulation enables coherent control techniques to enter a new regime with natural linewidth resolution.We demonstrate high resolution coherent control of cold atomic rubidium utilizing spectral phase manipulation of a femtosecond optical frequency comb. Transient coherent accumulation is directly manifested by the enhancement of signal amplitude and spectral resolution via the pulse number. The combination of frequency comb technology and spectral phase manipulation enables coherent control techniques to enter a new regime with natural linewidth resolution.961514Sem informaçãoSem informaçãoSem informaçãoUdem, Th., Holzwarth, R., Hänsch, T.W., (2002) Nature (London), 416, p. 233. , NATUAS. 0028-0836. 10.1038/416233aCundiff, S.T., Ye, J., (2003) Rev. Mod. Phys., 75, p. 325. , RMPHAT 0034-6861 10.1103/RevModPhys.75.325Marian, A., (2004) Science, 306, p. 2063. , SCIEAS 0036-8075 10.1126/science.1105660Marian, A., (2005) Phys. Rev. Lett., 95, p. 023001. , PRLTAO 0031-9007 10.1103/PhysRevLett.95.023001Diddams, S.A., (2001) Science, 293, p. 825. , SCIEAS 0036-8075 10.1126/science.1061171Ye, J., Ma, L.-S., Hall, J.L., (2001) Phys. Rev. Lett., 87, p. 270801. , PRLTAO 0031-9007 10.1103/PhysRevLett.87.270801Holman, K.W., (2005) Opt. Lett., 30, p. 1225. , OPLEDP 0146-9592 10.1364/OL.30.001225Jones, R.J., (2005) Phys. Rev. Lett., 94, p. 193201. , PRLTAO 0031-9007 10.1103/PhysRevLett.94.193201Gohle, C., (2005) Nature (London), 436, p. 234. , NATUAS 0028-0836 10.1038/nature03851Kuklinski, J.R., (1989) Phys. Rev. A, 40, p. 6741. , PLRAAN 1050-2947 10.1103/PhysRevA.40.6741Broers, B., Van Linden Van Den Heuvell, H.B., Noordam, L.D., (1992) Phys. Rev. Lett., 69, p. 2062. , PRLTAO 0031-9007 10.1103/PhysRevLett.69.2062Meshulach, D., Silberberg, Y., (1998) Nature (London), 396, p. 239. , NATUAS 0028-0836 10.1038/24329Balling, P., Maas, D.J., Noordam, L.D., (1994) Phys. Rev. A, 50, p. 4276. , PLRAAN 1050-2947 10.1103/PhysRevA.50.4276Chatel, B., (2003) Phys. Rev. A, 68, p. 041402. , PLRAAN 1050-2947 10.1103/PhysRevA.68.041402Oron, D., (2002) Phys. Rev. Lett., 88, p. 063004. , PRLTAO 0031-9007 10.1103/PhysRevLett.88.063004Salzmann, W., (2006) Phys. Rev. A, 73, p. 023414. , PLRAAN 1050-2947 10.1103/PhysRevA.73.023414Felinto, D., Acioli, L.H., Vianna, S.S., (2004) Phys. Rev. A, 70, p. 043403. , PLRAAN 1050-2947 10.1103/PhysRevA.70.043403Martinez, O.E., (1987) IEEE J. Quantum Electron., 23, p. 59. , IEJQA7 0018-9197 10.1109/JQE.1987.1073201Yoon, T.H., (2001) Phys. Rev. A, 63, p. 011402. , PLRAAN 1050-2947 10.1103/PhysRevA.63.011402Vala, J., (2001) Phys. Rev. A, 63, p. 013412. , PLRAAN 1050-2947 10.1103/PhysRevA.63.013412We thank funding support from ONR, NSF, and NIST

O confronto entre o concurso formal de crimes e o concurso aparente de normas penais no direito brasileiro : revisão crítica sob os influxos de uma hermenêutica emancipatória

Tese em 4 volumesOrientador : Prof. Dr. Paulo César BusatoCoorientador: Prof. Dr. Juarez Cirino dos SantosTese (doutorado) - Universidade Federal do Paraná, Setor de Ciências Jurídicas, Programa de Pós-Graduação em Direito. Defesa: Curitiba, 11/08/2014Inclui referênciasResumo: Busca-se, com a presente investigação, suscitar algumas reflexões sobre a decisão judicial no âmbito da teoria do concurso de crimes. A tradição jurídica pós-iluminista ampara-se na premissa de que as decisões judiciais estariam previamente programadas pela lei. O senso comum teórico supõe que a prolação da sentença condenatória implicaria mera concretização de normas já veiculadas, de modo exaustivo, nos textos legais pertinentes. Enquanto projeção do conceito do Estado de Direito, o postulado da legalidade determina que toda manifestação de poder deve ser submetida ao controle da razão pública (nulla poena sine lege, nulla lege sine necessitate etc). Isso significa que a imposição e o cálculo das penas criminais devem decorrer de critérios explicitados em lei publicada em momento anterior à ocorrência do crime. Há, todavia, um conjunto de fatores irracionais que influenciam toda compreensão do mundo: metrarregras, traumas e idiossincrasias variadas. A tese busca evidenciar que há grande margem de arbítrio na identificação dos casos de concurso aparente e casos de concurso formal. O Código Penal brasileiro não oferece critérios explícitos para a identificação dos casos de concurso aparente, ao contrário, por exemplo, do Código Penal espanhol. Essas modalidades de concurso – aparente/formal - têm em comum o fato de que, ao menos de modo abstrato, em ambas as hipóteses há uma única ação suscetível de se amoldar a dois ou mais tipos penais incriminadores. O reconhecimento de concurso aparente é mais benéfico para o acusado, na medida em que enseja sanção inferior àquela que seria aplicada ao concurso formal. O problema é que a distinção entre um caso e outro é relegada, de certo modo, ao sentimento de justiça de cada magistrado. E isso parece infirmar justamente as suposições que animam a dogmática penal. Para além dessa questão central, o tema do concurso demanda considerações metafísicas (como recortar unidades de ação?), considerações lógicas (relações entre os enunciados normativos, tema importante para o concurso aparente) e considerações valorativas (questão própria ao ne bis in idem, consunção e comportamentos copunidos). Dada a complexidade da questão, a investigação contrapôs as categorias dogmáticas, de um lado, com alguns insights proporcionados pela epistemologia, pela filosofia da ação e pela sociologia. Atribuiu-se significativo peso para a obra de Hans-Georg Gadamer – Verdade e Método I -, a fim de demonstrar que não há como axiomatizar totalmente as deliberações judiciais. Como toda compreensão de mundo, as sentenças dependem de contexto e de intérprete. Isso não pode vaticinar, todavia, uma concepção niilista, que renuncie à tentativa de se conter o arbítrio. Daí que os magistrados devem ser instados a deixarem manifestos, no limite do que é humanamente possível, todos os valores que animam suas sentenças. Apenas em um contexto de razão discursiva, com controles recíprocos, é que a violência estatal pode ser reduzida, conquanto jamais possa ser eliminada. Desse modo, a questão do concurso de crimes foi tomada como pano de fundo para uma reflexão sobre a decisão judicial e sua justificação. Palavras-chave: concurso aparente, concurso formal, concurso de crimes, hermenêutica, epistemologia, Estado de Direito.Abstract: The present study sought to propose some reflections on the judicial decision within the scope of the theory of joinder of offenses. The post-Enlightenment legal tradition relies on the assumption that judicial decisions would be previously programmed by law. The theoretical common sense assumes that the entry of judgment would imply a mere embodiment of standards already and exhaustively conveyed in the relevant legal texts. As a projection of the concept of Rule of Law, the postulate of legality defines that every manifestation of power should be subject to the control of public reason (nulla poena sine lege praevia et certa). This means that imposing and calculating sentences should fulfill criteria that were made explicit in the law that was published previously to crime occurrence. However, there is a set of irrational factors that affect the understanding of the world: meta rules, traumas and idiosyncrasies. This dissertation sought to highlight that there is a broad margin of discretion when identifying cases of ideal joinder of offenses and cases of formal joinder of offenses. The Brazilian Penal Code does not provide explicit criteria to identify cases of ideal joinder of offenses, in contrast, for example, with the Spanish Penal Code. These modalities of joinder of offenses – ideal / formal – have in common the fact that, at least abstractly, both hypotheses contain a single action that is susceptible to adjust to two or more incriminating types of crimes. Ascribing the character of ideal to a joinder of offenses would be more beneficial to the defendant as it triggers sanctions that are lower than sanctions used in formal joinders of offenses. The problem is: the distinction between one and another relies on each magistrate’s sense of justice, which seems to fairly invalidate the premises that animate criminal dogmatics. Beyond this central issue, the theme of joinder of offenses requires metaphysical considerations (how to outline action units?), logical considerations (relations between normative statements, which is an important theme for ideal joinder of offenses) and evaluative considerations (which is inherent to ne bis in idem, merger doctrine and co-punishment). Given the issue’s complexity, this investigation contrasted dogmatic categories on one hand, with insights provided by epistemology, philosophy of action and sociology. A significant weight was given to Hans-Georg Gadamer’s work – Truth and Method I - in order to demonstrate that judicial determinations cannot be entirely axiomatized. As in any process of understanding the world, judgment depends on both context and the interpreter. However, this should not predict any nihilistic conception that renounces to the attempt to restrain discretion. Therefore, magistrates should be urged to express, to the limit of what is humanly possible, all the values that underlie their judgments. Only in a context of discursive reason with reciprocal controls can state violence be reduced, even though it cannot be eliminated. Thus, the issue of joinder of offenses has been chosen as a starting point for a reflection upon judicial decision and its justification. Key words: ideal joinder of offenses, formal joinder of offenses, joinder of offenses, hermeneutics, epistemology, Rule of Law